$\forall$$r$:Rng. IsRing($\mid$$r$$\mid$;+$r$;0;{-}$r$;$\ast$;1) \& IsEqFun($\mid$$r$$\mid$;=$_{b}$)